A BASis (or ABASs) for Reasoning About Software Architectures

نویسندگان

  • Mark Klein
  • Rick Kazman
  • Robert Nord
چکیده

This paper discusses the use of Attribute-Based Architectural Styles (ABASs)—architectural styles accompanied by explicit analysis reasoning frameworks—in design. The paper has two main objectives: to convince readers that ABASs provide a basis for insightful reasoning about a software architecture’s ability to meet its quality attribute goals; and to demonstrate the utility of ABASs by showing an example of how ABASs are used to design an industrial system architecture entirely via ABASs. In the process of designing this architecture, we show excerpts from our growing ABAS handbook and argue for why ABASs help us in designing architectures efficiently and predictably.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasoning About Quantitative Architectural Attributes

It is widely accepted that software architectures represent non functional attributes of software systems. Yet we know of no Architectural Description Language that provides automated support for reasoning about such attributes. In this paper we discuss our ongoing research in representing and reasoning about non functional properties of software architectures.

متن کامل

Ontological Basis for Agent ADL

Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system architecture and reasoning about it, numerous architecture description languages (ADLs) have been proposed during the last decade. However, few research efforts aim at truly defining a description language for MAS architect...

متن کامل

Software Architectures for Dependable Systems

The aim of this tutorial is to provide an insight on how the structuring of software systems at the architectural level is fundamental for the development of dependable systems. Taking as a basis the different dependability means, we show how dependability should be considered at the architectural level, and the impact this should have when developing dependable systems. Existing architectural ...

متن کامل

Sufficient Correctness and Homeostasis in Open Resource Coalitions: How Much Can You Trust Your Software System?

Widespread use of the Internet enables a new class of software architectures: dynamically formed, task-specific, coalitions of distributed autonomous resources. The resources may be information, calculation, communication, control, or services. Unlike traditional software systems, which are at least nominally under control of the developer, these coalitions are formed from independently managed...

متن کامل

Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures

Architecture-based reasoning about reliability and fault tolerance is gaining increasing importance as component-based software architectures become more widespread. Architectural description languages (ADLs) are used to specify high-level views of software design. ADLs usually involve a static, structural view of a system together with a dynamic, state-transition-style semantics, facilitating ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999